|
|
Process algebra for parallel and distributed processing /
Publication:
Boca Raton, FL : CRC Press, 2009
. xxii, 415 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xii, 429 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|